The Pull-Tab Transformation
نویسندگان
چکیده
We present a new approach to the execution of functional logic programs. Our approach relies on definitional trees for the deterministic portions of a computation and on a graph transformation, called pull-tab, for the non-deterministic portions. This transformation moves, one level at a time, non-deterministic choices towards the root of the graph representing the state of a computation. With respect to needbased strategies for functional logic computations, our approach executes only localized graph replacements, a property that characterizes it as “pay as you go” and makes it suitable for parallel execution.
منابع مشابه
On the correctness of pull-tabbing
Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable non-deterministic choices that would jeopardize the completeness of computations. In contrast to other approaches with this property, it does not require an upfront cloning of a possibly large portion of the choice’s context. We formally de...
متن کاملEvaluation of Suspected Aspirated Beverage Can Pull Tab: Radiographs May Not Be Enough
A 67-year-old male presented to the emergency department with concern for accidental aspiration of an aluminum beverage can pull tab. Neck and chest radiographs did not reveal an aspirated foreign body. Despite ongoing complaint of dysgeusia and adamancy of aspiration by the patient, he was discharged to home without recommendation for further follow-up. Seven months later, a computed tomograph...
متن کاملAspiration of Aluminum Beverage Can Tab: Case Report and Literature Review
We describe the case of a 16-year-old male who aspirated a beverage can tab resulting in significant functional impairment. Since the introduction of beverage can opening tabs ("pop-tops" or "pull-tabs") nearly 50 years ago, five cases of their aspiration have been reported in the literature and this is the first case to report tracheal lodgment. We describe the clinical course for this patient...
متن کاملUsing Pull Logic Of Flow Simulation In The Process Of The Production Planning System Transformation
This article describes the problem of transformation management systems in the area of planning and shop flow control of production. The authors present practical experience of building dedicated planning system and using pull logic of flow simulation in this process. The research works were carried out in industrial engineering in complex environmental conditions of production. This was a, mul...
متن کاملComparison of electromyographic activity of shoulder muscles during two different pull-up test methods
Pull-up and modified pull-up tests are frequently used for shoulder muscles endurance evaluation by physical educators. Despite of using these tests, the difference of muscle activation pattern in pull-up and modified pull-up tests has not been documented clearly. However, the role of some important muscles such as anterior deltoid, posterior deltoid, trapezius and latissimus dorsi have no...
متن کامل